1. A Course on Mathematical Logi

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books

رده :
E-BOOK

2. A computational introduction to number theory and algebra

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Computer science-- Mathematics,، Number theory,، Algebra-- Data processing

رده :
QA
241
.
V53
2005

3. Abstract algebra :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra, Abstract,Algebra,Linear and Multilinear Algebras, Matrix Theory,Mathematical Applications in Computer Science,Mathematics

رده :
QA162

4. Algebra and Coalgebra in Computer Science :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.

5. Algebra and coalgebra in computer science

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer science--Mathematics--Congresses,Algebra--Congresses,Formale Methode--Kongress--Udine <2009>,Theoretische Informatik--Algebra--Kongress--Udine <2009>,Theoretische Informatik--Koalgebra--Kongress--Udine <2009>,Algebra.--swd,Formale Methode.--swd,Koalgebra.--swd,Theoretische Informatik.--swd,Kongress.--swd,Udine (2009)--swd

رده :
QA
,
76
.
9
,.
M35
,
C33
,
2009

6. Algebra and coalgebra in computer science :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra, Congresses,Computer science-- Mathematics, Congresses

رده :
QA76
.
9
.
M35

7. Algebra and coalgebra in computer science :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra, Congresses,Computer science-- Mathematics, Congresses

رده :
QA76
.
9
.
M35

8. Algebra and coalgebra in computer science

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer science ; Mathematics ; Congresses. ; Algebra ; Congresses. ; Formale Methode ; Kongress ; Udine <2009> ; Theoretische Informatik ; Algebra ; Kongress ; Udine <2009> ; Theoretische Informatik ; Koalgebra ; Kongress ; Udine <2009> ; Algebra. ; swd

9. Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Algebra

رده :
QA
76
.
L28
Vol
.
3629

10. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics

رده :
QA
9
.
A1A42

11. Algebra for Applications

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computer science - Mathematics.,Algebra - Data processing.

رده :
QA184
.
A525
2015

12. Algebra for Cryptologists

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Algebra,جبر,a04,a04,Data encryption (Computer science) -- Mathematics.,رمزگذاری داده‌ها -- ریاضیات

رده :
E-Book
,

13. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra

رده :
QA
76
.
L28
Vol
.
2297

14. Algebraic informatics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra-- Data processing, Congresses,Computer science, Congresses,Graph theory, Congresses,Algebra-- Data processing, Congresses,Computer science, Congresses

رده :
QA155
.
7
.
E4

15. Algorithms and Order

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra.,Computer science.,Information theory.

16. Applied Laplace Transforms and z-Transforms for Scientists and Engineers

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra-- Data processing.,Computer science-- Mathematics.,Computer science.,Integral transforms.

17. Belief-based Stability in Coalition Formation with Uncertainty :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra -- Data processing.,Artificial intelligence.,Computer science.

رده :
QA76
.
76
.
I58
B934
2013

18. Beyond Two: Theory and Applications of Multiple-Valued Logic

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra.,Artificial intelligence.,Computer science.,Logic design.

19. Call-By-Push-Value :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra.,Computer science.

رده :
QA76
.
7
B973
2003

20. Communication-Based Systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.